Scheme theory

Results: 835



#Item
261Economics / Financial risk / Asset allocation / Collective investment scheme / Modern portfolio theory / Diversification / Private equity / Portfolio / Institutional investor / Financial economics / Investment / Finance

Is Agribusiness Attractive? Investment status, trends and outlook

Add to Reading List

Source URL: agriculturalcompetitiveness.dpmc.gov.au

Language: English - Date: 2014-04-08 21:47:07
262Algebraic topology / Scheme theory / Homological algebra / Algebraic geometry / Geometry / Scheme / Sheaf / Combinatorics / Cohomology / Abstract algebra / Topology / Algebra

MATH 512 B1 MODERN ALGEBRAIC GEOMETRY FALL 2015 Course Meets: 9-9:50 a.m., MWF, 441 Altgeld Hall Instructor: Thomas Nevins ()

Add to Reading List

Source URL: www.math.illinois.edu

Language: English - Date: 2015-05-01 09:25:55
263Computational chemistry / Density functional theory / Quantum chemistry / Theoretical chemistry / Time-dependent density functional theory / Relaxation / Graphene / Chemistry / Physics / Quantum mechanics

Time-dependent density functional theory for open systems with a positivitypreserving decomposition scheme for environment spectral functions RuLin Wang, Xiao Zheng, YanHo Kwok, Hang Xie, GuanHua Chen, and ChiYung Yam Ci

Add to Reading List

Source URL: yangtze.hku.hk

Language: English - Date: 2015-04-21 18:39:15
264Metric geometry / Topological spaces / Field theory / Number theory / Ultrametric space / P-adic number / Absolute value / Lyapunov exponent / Bernoulli scheme / Mathematics / Geometry / Topology

Apeiron, Vol. 10, No. 3, JulyP-adic Properties of Time in the Bernoulli Map

Add to Reading List

Source URL: redshift.vif.com

Language: English - Date: 2007-05-13 11:50:34
265GNU Guile / Scheme / Lisp / Reader / Lay reader / Programming language theory / Software engineering / Computer programming

A Reader Framework for Guile for Guile-Reader 0.6 Ludovic Court` es

Add to Reading List

Source URL: www.nongnu.org

Language: English - Date: 2012-05-08 16:58:32
266Procedural programming languages / Unix / Scripting languages / Computer file formats / Cross-platform software / Scheme / Shebang / Shell script / ALGOL / Computing / Software engineering / Programming language theory

Revised5.97 Report on the Algorithmic Language Scheme — Non-Normative Appendices — MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON (Editors)

Add to Reading List

Source URL: www.r6rs.org

Language: English - Date: 2008-01-06 01:14:13
267Coordinate systems / Symbol / Polar coordinate system / Gaussian quadrature / Adaptive quadrature / Integral / Numerical integration / Mathematical analysis / Mathematics

ON THE NUMERICAL EVALUATION OF THE SINGULAR INTEGRALS OF SCATTERING THEORY JAMES BREMER∗,‡ AND ZYDRUNAS GIMBUTAS† Abstract. In a previous work, the authors introduced a scheme for the numerical evaluation of the si

Add to Reading List

Source URL: www.math.ucdavis.edu

Language: English - Date: 2015-01-03 20:55:29
268Approximation algorithms / Cluster analysis / Combinatorial optimization / NP-complete problems / Complexity classes / Correlation clustering / Consensus clustering / Optimization problem / Minimum k-cut / Theoretical computer science / Computational complexity theory / Statistics

A Polynomial Time Approximation Scheme for k-Consensus Clustering∗ Tom Coleman† Abstract This paper introduces a polynomial time approximation scheme for the metric Correlation Clustering problem, when the number of

Add to Reading List

Source URL: tom.thesnail.org

Language: English - Date: 2015-05-04 03:09:24
269Dolev-Yao model / Public-key cryptography / Protocol composition logic / XTR / Cryptographic primitive / Semantic security / Secure channel / Key-agreement protocol / Commitment scheme / Cryptography / Cryptographic protocols / Ciphertext indistinguishability

Computationally sound compositional logic for key exchange protocols ∗ Anupam Datta, Ante Derek, John C. Mitchell Dept. Computer Science, Stanford University {danupam, aderek, mitchell}@cs.stanford.edu Abstract

Add to Reading List

Source URL: theory.stanford.edu

Language: English - Date: 2007-12-18 00:37:13
270Programming language implementation / PreScheme / Scheme programming language / Logic in computer science / Programming language semantics / Denotational semantics / Compiler / Scheme / Programming language / Software engineering / Computing / Programming language theory

A Veri ed Compiler for Pure PreScheme: Final Report for Contract Number F19628-89-C-001 Dino P. Oliva Mitchell Wand wand@ ora.ccs.northeastern.edu

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:04:41
UPDATE